Introduction Formal Specification And Z (2nd Edition) (Prentice-Hall International Series in Computer Science)
by Ben Potter,Jane Sinclair,David Till
ISBN 13: 9780132422079
Format: Paperback (448 pages) Publisher: Prentice Hall Published: 21 Jun 1996
Save for later
Teach Yourself Perl in 21 Days (Sams Teach Yourself)
by David Till
ISBN 13: 9780672305863
Format: Paperback (700 pages) Publisher: Sams Publishing Published: Dec 1994 Other Format: Paperback
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)
by Jonathan P. Bowen,David Till,Michael G. Hinchey
ISBN 13: 9783540627173
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008